Abstract: Cognitive science is dominated by models of closed world experiments that have unclear relations and few if any provable properties. I will discuss a new mathematical approach that enables systematization of models and provable properties in the context of challenges posed by open world learning. Along the way, I will highlight connections to and implications for pure mathematics, machine learning, and human learning and application to real-world problems.